perm filename MC4.FOT[1,DEK] blob sn#853803 filedate 1988-02-24 generic text, type T, neo UTF8
ev(d41,xx(i,j):=xxx(i,j));
                             3 FN(Y) + Y FN(Y - 1)
(D56)/R/                     ---------------------
                                       3

(C57) 
rat(d17*k↑3*rn);
                   10             9            4   3         2   2
(D57)/R/ (1701 RN Y   - 14175 RN Y  + (- 2835 K  RN  - 8505 K  RN

                          8           4   3          2   2
 + (17010 K + 28350) RN) Y  + (11340 K  RN  + 34020 K  RN

                            7          8   5             5          4    3
 + (- 68040 K + 35154) RN) Y  + (1890 K  RN  + (- 22680 K  - 15120 K ) RN

             3         2    2            2                          6
 + (- 68040 K  + 5670 K ) RN  + (136080 K  - 11340 K - 129843) RN) Y

            8   5           5          4    3           3           2    2
 + (- 1890 K  RN  + (22680 K  - 19278 K ) RN  + (68040 K  - 108864 K ) RN

              2                          5
 + (- 136080 K  + 217728 K - 14175) RN) Y

           12   7         10   6           9         8    5          6   4
 + (- 630 K   RN  + 5670 K   RN  + (11340 K  + 4536 K ) RN  - 51030 K  RN

              6          5          4    3
 + (- 136080 K  - 34020 K  - 12285 K ) RN

              4           3          2    2
 + (- 408240 K  + 204120 K  + 14175 K ) RN

            3           2                          4
 + (816480 K  - 408240 K  - 28350 K + 181440) RN) Y

           12   7         10   6          9         8    5          6   4
 + (- 420 K   RN  + 3780 K   RN  + (7560 K  + 8694 K ) RN  - 34020 K  RN

             6          5          4    3
 + (- 90720 K  - 90720 K  - 28350 K ) RN

              4          3           2    2
 + (- 272160 K  - 68040 K  + 102060 K ) RN

            3           2                         3
 + (544320 K  + 136080 K  - 204120 K - 6804) RN) Y

         16   9         14   8            13          12    7
 + (105 K   RN  - 2520 K   RN  + (- 2520 K   + 10836 K  ) RN

           11          10    6           10          9          8    5
 + (22680 K   + 35154 K  ) RN  + (45360 K   + 29484 K  - 88641 K ) RN

              7          6    4              7           6           5
 + (- 204120 K  - 85050 K ) RN  + (- 544320 K  - 272160 K  - 215460 K

          4    3               5           4           3          2    2
 + 30240 K ) RN  + (- 1632960 K  + 408240 K  - 136080 K  - 11340 K ) RN

             4           3           2                         2
 + (3265920 K  - 816480 K  + 272160 K  + 22680 K - 81648) RN) Y

         16   9         14   8            13          12    7
 + (105 K   RN  - 2520 K   RN  + (- 2520 K   + 10626 K  ) RN

           11          10    6           10          9          8    5
 + (22680 K   + 37044 K  ) RN  + (45360 K   + 33264 K  - 89019 K ) RN

              7           6    4              7           6           5
 + (- 204120 K  - 102060 K ) RN  + (- 544320 K  - 317520 K  - 204120 K

          4    3               5           4          2    2
 + 36288 K ) RN  + (- 1632960 K  + 272160 K  - 27216 K ) RN

             4           3                       20   11        18   10
 + (3265920 K  - 544320 K  + 54432 K) RN) Y - 7 K   RN   + 315 K   RN

         17         16    9            15         14    8
 + (210 K   - 3906 K  ) RN  + (- 5040 K   + 7938 K  ) RN

            14          13          12    7
 + (- 5040 K   + 20412 K   + 63153 K  ) RN

           12          11          10    6
 + (45360 K   + 81648 K   - 87885 K  ) RN

           11          10           9           8    5
 + (90720 K   + 81648 K   - 164430 K  - 204120 K ) RN

              8           7    4               8           7           6    3
 + (- 408240 K  - 272160 K ) RN  + (- 1088640 K  - 816480 K  - 544320 K ) RN

            6   2            5               2
 - 3265920 K  RN  + 6531840 K  RN)/(6531840 K )

(C58) 
rat(d21*k↑3*rn);
                  4           3         5   3       3   2        2
(D58)/R/ (9 K RN Y  + 6 K RN Y  + (- 6 K  RN  - 18 K  RN  + (36 K  - 9 K) RN)

  2         5   3       3   2        2                 9   5
 Y  + (- 6 K  RN  - 18 K  RN  + (36 K  - 6 K) RN) Y + K  RN

          6      5    3       4   2       3
 + (- 12 K  - 9 K ) RN  - 36 K  RN  + 72 K  RN)/72

(C59) 
fr(im,jm,id,e):=block([t],t:e,for i:im step-1 thru 1 do for j:jm step-1 thru 1 d
o t:            ::ratsubst(xx(i-id,j-1),k↑i*rn↑j,t),t);
(D59) FR(IM, JM, ID, E) := BLOCK([T], T : E, 

FOR I FROM IM STEP - 1 THRU 1 DO (FOR J FROM JM STEP - 1 THRU 1 

                                    I   J
DO T : RATSUBST(XX(I - ID, J - 1), K  RN , T)), T)

(C60) 
fr(9,5,3,d58);
                        4                 3
(D60)/R/ (9 XX(- 2, 0) Y  + 6 XX(- 2, 0) Y

                                                                2
 + (- 6 XX(2, 2) - 18 XX(0, 1) + 36 XX(- 1, 0) - 9 XX(- 2, 0)) Y

 + (- 6 XX(2, 2) - 18 XX(0, 1) + 36 XX(- 1, 0) - 6 XX(- 2, 0)) Y + XX(6, 4)

 - 12 XX(3, 2) - 9 XX(2, 2) - 36 XX(1, 1) + 72 XX(0, 0))/72

(C61)